Search Results
5 - Kick-off afternoon : Vladimir Voevodsky, Univalent Foundations
Overview of Univalent Foundations - Vladimir Voevodsky
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
Interview Voevodsky
Type Systems - Vladimir Voevodsky
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
Vladimir Voevodsky
Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky
Type Systems I - Vladimir Voevodsky
How I became interested in foundations of mathematics
20140909 HGF5 Paul Bernays Lectures Voevodsky 01 dm
Gathering in Remembrance of Vladimir Voevodsky
